Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
261	Faculty Candidate Talk: Wednesday, April 6, 2005, 4-5 p.m. 306 Soda “Reasoning about Reliability and Security Using Boolean Methods” Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2005-03-07 18:39:06 Electronic design automation Formal methods NP-complete problems Logic in computer science Model theory Uclid Boolean satisfiability problem Decision problem Satisfiability Theoretical computer science Mathematics Computational complexity theory
262	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: www-aig.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
263	How Low Can Approximate Degree and Quantum Query Complexity be for Total Boolean Functions?∗ arXiv:1206.0717v2 [quant-ph] 25 Mar[removed]Andris Ambainis† Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-25 21:05:57 Computational complexity theory Quantum information science Analysis of algorithms Quantum algorithm Decision tree model Circuit complexity FO Communication complexity Big O notation Theoretical computer science Applied mathematics Mathematics
264	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
265	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-17 10:05:08 Model theory Logic programming Boolean algebra Propositional calculus Stable model semantics Interpretation First-order logic If and only if Negation as failure Logic Mathematical logic Mathematics
266	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
267	PDF Document Add to Reading List Source URL: irsg.bcs.org Language: English - Date: 2011-10-31 05:34:10 IR evaluation Query expansion Relevance feedback Full text search Relevance Precision and recall Search engine indexing Vector space model Extended Boolean model Information science Information retrieval Document retrieval
268	Municipal Boundaries (MUNI) Conceptual Data Model Edition 1.0 Add to Reading List Source URL: www.geobase.ca Language: English - Date: 2011-01-19 08:49:43 C++ classes Computing Computer programming Software engineering Data types Boolean algebra Boolean data type
269	GeoBase - Conceptual Data Model, Edition 1.0 Add to Reading List Source URL: www.geobase.ca Language: English - Date: 2012-11-07 13:42:08 Software engineering Computer programming Type theory Computer arithmetic EXPRESS Enumerated type C++ classes Integer Boolean data type Data types Computing Primitive types
270	arXiv:1303.1613v1 [math.LO] 7 Mar 2013 Add to Reading List Source URL: idsi.md Language: English - Date: 2013-03-11 04:35:09 Boolean algebra Model theory Forcing Universal algebra Algebraic structures Structure Complete Boolean algebra Diagonalizable matrix Mathematical logic Mathematics Algebra

UPDATE